Has study, Active Libraries and Universal Languages, on libraries active in compiling; rather than make unique languages for each purpose, build libraries to give domain-specific syntax, optimizations, safety checking; extant languages and compilers l...
Polytypic programming language; source files for compiler written in Haskell that compiles PolyP-code to Haskell; library of polytypic functions written in PolyP, some examples, documents, downloads.
Simulation and visualization environment for distributed algorithms that provides students with an experimental environment to test and visualize the behaviour of distributed algorithms.